#include "led.h"
#include "hw_types.h"
#include "sysctl.h"

typedef unsigned int uint32;

void systemInit()
{
	SysCtlClockSet(SYSCTL_USE_OSC |                        	// sets system clock
                   SYSCTL_OSC_MAIN |                      
                   SYSCTL_XTAL_16MHZ |                     	
                   SYSCTL_SYSDIV_1);
	ledInit();
}

void delay(uint32 period)
{
	uint32 i;
	for(i = 0; i < period; i++);
}

int main(void)
{
	systemInit();	
	
	while(1)
	{
		turnOnLed();
		delay(0xffffff);
		turnOffLed();
		delay(0xffffff);
	}
}





